Elementary Control Structures
نویسنده
چکیده
منابع مشابه
Beyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملA duality between exceptions and states
Abstract. In this short note we study the semantics of two basic computational effects, exceptions and states, from a new point of view. In the handling of exceptions we dissociate the control from the elementary operation which recovers from the exception. In this way it becomes apparent that there is a duality, in the categorical sense, between exceptions and states. In this short note we stu...
متن کاملBeyond First Order Logic: from Number of Structures to Structure of Numbers Part Ii
The paper studies the history and recent developments in non-elementary model theory focusing in the framework of abstract elementary classes. We discuss the role of syntax and semantics and the motivation to generalize first order model theory to non-elementary frameworks and illuminate the study with concrete examples of classes of models. This second part continues to study the question of c...
متن کاملStatic Analysis of Interactions between Elementary Structures of a Grammar (Analyse statique des interactions entre structures élémentaires d'une grammaire) [in French]
Static Analysis of Interactions between Elementary Structures of a Grammar We are interested in the semi-automatic construction of computational grammars and in their use for parsing. We consider lexicalized grammars with elementary structures which are trees, underspecified or not. We present an algorithm that aims at foreseeing all elementary trees attached at words which can come between two...
متن کاملLearning Relational Concepts with Decision Trees
In this paper, we describe two diierent learning tasks for relational structures. When learning a classiier for structures, the rela-tional structures in the training sets are clas-siied as a whole. Contrarily, when learning a context dependent classiier for elementary objects, the elementary objects of the rela-tional structures in the training set are clas-siied. In general, the class of an e...
متن کامل